Papers by Cheuk Hei Chong
TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding (2025.acl-long)
Copied to clipboard
| Challenge: | Understanding domain-specific theorems requires more than text-based reasoning . current evaluations of theoretical models are based on textual cues . |
| Approach: | They propose an agentic approach for generating long-form theorem explanation videos using Manim animations. |
| Outcome: | The proposed agent generates long-form theorem explanation videos using Manim animations . the agent achieves a success rate of 93.8% and an overall score of 0.77 . |